Section: New Software and Platforms

ClpZinc

Functional Description

CLP2Zinc is a rule-based modeling language for constraint programming. It extends the MiniZinc modeling language with Horn clauses which can be used to express search strategies as constraints in the model. This system is developed in the framework of the ANR Net-WMS-2 project and is a follow-up of the Rules2CP modeling language.

• Participants: Thierry Martinez, François Fages, Philippe Morignot and Sylvain Soliman

• Contact: Thierry Martinez

• URL: http://lifeware.inria.fr/~tmartine/clp2zinc/